Harald Ganzinger: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Harald Ganzinger, David McAllester, Andrei Voronkov

წელი:

1999

ენა:

english

ფაილი:

PDF, 21.68 MB

0 / 0

english, 1999

2

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

წელი:

1980

ენა:

english

ფაილი:

DJVU, 3.13 MB

0 / 0

english, 1980

3

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Deepak Kapur (auth.), Harald Ganzinger (eds.)

წელი:

1996

ენა:

english

ფაილი:

PDF, 6.42 MB

0 / 0

english, 1996

4

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)

წელი:

1996

ენა:

english

ფაილი:

PDF, 11.56 MB

0 / 0

english, 1996

5

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

წელი:

1999

ენა:

english

ფაილი:

DJVU, 3.65 MB

0 / 0

english, 1999

6

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 7.27 MB

0 / 0

english, 1996

7

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 12.61 MB

0 / 0

english, 1999

8

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

წელი:

1980

ენა:

english

ფაილი:

PDF, 9.67 MB

0 / 0

english, 1980

9

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 3.52 MB

0 / 0

english, 1995

10

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

Vieweg+Teubner Verlag

Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller, Wolfgang J. Paul (auth.), Prof. Dr. rer. nat. Johannes Buchmann, Prof. Dr. rer. nat. Harald Ganzinger, Prof. Dr. rer. nat. Wolfgang J. Paul (eds.)

წელი:

1992

ენა:

german

ფაილი:

PDF, 6.23 MB

0 / 0

german, 1992

11

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Deepak Kapur (auth.), Harald Ganzinger (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 3.53 MB

0 / 0

english, 1996

12

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 4.73 MB

0 / 0

english, 1999

13

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

წელი:

1986

ენა:

english

ფაილი:

DJVU, 3.68 MB

0 / 0

english, 1986

14

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 6.44 MB

0 / 0

english, 1995

15

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

წელი:

1995

ენა:

english

ფაილი:

PDF, 5.98 MB

0 / 0

english, 1995

16

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

წელი:

1986

ენა:

english

ფაილი:

PDF, 8.74 MB

0 / 0

english, 1986

17

Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings

Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Friedhelm Meyer, Burkhard Monien (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 6.66 MB

0 / 0

english, 1996

18

Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Harald Ganzinger

წელი:

1999

ენა:

english

ფაილი:

PDF, 3.59 MB

0 / 0

english, 1999

19

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

წელი:

1995

ენა:

english

ფაილი:

PDF, 11.68 MB

0 / 0

english, 1995